int16 PULSOS_DISTANCIA			= 0;	
int16 DISTANCIA_RECORER_PULSOS	= 0xFFFF;

#int_EXT
void EXT_distancia_pulsos(){
	PULSOS_DISTANCIA++;
	DISTANCIA_RECORER_PULSOS--;
}
